1.
پدیدآورنده :
کتابخانه: کتابخانه شیخ مفید (کتابخانه های سازمان فرهنگی هنری شهرداری تهران) (طهران)
موضوع :
2.
پدیدآورنده :
کتابخانه: کتابخانه مهر (کتابخانه های سازمان فرهنگی هنری شهرداری تهران) (طهران)
موضوع :
3.
پدیدآورنده :
کتابخانه: کتابخانه ابن سینا (کتابخانه های سازمان فرهنگی هنری شهرداری تهران) (طهران)
موضوع :
4. Advanced Computer and Communication Engineering Technology
پدیدآورنده : \ [Edited by] Hamzah Asyrani Sulaiman...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer engineering -- Congresses.,Telecommunication -- Congresses.,مهندسی کامپیوتر -- کنگره ها,مخابرات -- کنگره‌ها
رده :
TK
5
.
A3
2016
E-Book
,
5. Advanced Information Systems Engineering.
پدیدآورنده : \ Jelena Zdravkovic ,Marite Kirikova, Paul Johannesson (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer-aided software engineering -- Congresses.,Systems engineering -- Congresses.,مهندسی به کمک کامپیوتر -- نرمافزار -- کنگره ها ,مهندسی س‍ی‍س‍ت‍م ها -- کنگره ها
رده :
QA
76
.
758
.
A3
2015
E-Book
,
6. Computational Intelligence in Industrial Application
پدیدآورنده : \ editor Yanlv Ling
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computational intelligence -- Congresses.,Computer science -- Congresses.,Industrial engineering -- Congresses.,هوش کامپیوتری - کنگره ها,علوم کامپیوتر - کنگره ها,مهندسی صنایع - کنگره ها
رده :
Q
342
.
C657
2015
E-Book
,
7. Computer Aided Systems Theory – EUROCAST 2015
پدیدآورنده : \ Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer-aided engineering -- Congresses,Computer-aided design -- Congresses.,System analysis -- Congresses.,مهندسی به کمک کامپیوتر -- کنگره ها ,طراحی به کمک کامپیوتر -- کنگره ها ,تجزیه و تحلیل سیستم‌ها -- کنگره ها
رده :
TA
345
.
C6
2015
E-Book
,
8. Computer Engineering and Technology
پدیدآورنده : \ [Edited by] Weixia Xu...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer engineering -- Congresses.,Computer science -- Congresses.,Information technology -- Congresses.,مهندسی کامپیوتر -- کنگره ها ,علوم کامپیوتر -- کنگره‌ها ,تکنولوژی اطلاعات -- کنگره‌ها
رده :
TK
5
.
C6
2015
E-Book
,
9. Cooperative Design, Visualization, and Engineering
پدیدآورنده : \ Yuhua Luo (ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer-aided design -- Congresses,Engineering -- Data processing -- Congresses,Architectural design -- Data processing -- Congresses,طراحی به کمک کامپیوتر -- کنگره ها ,الگوهای مهندسی -- داده پردازی -- کنگره ها,معماری -- طراحی -- داده‌پردازی -- کنگره ها
رده :
TA
174
.
C38
2015
10. Engineering Societies in the AgentsWorld II
پدیدآورنده : \ Andrea Omicini, Paolo Petta, Robert Tolksdorf (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Intelligent agents (Computer software) -- Congresses.,Engineering -- Societies, etc. -- Congresses.,عوامل هوشمند (نرمافزار کامپیوتر) -- کنگره ها,مهندسی -- انجمن‌ها -- کنگره ها
رده :
E-Book
,
11. Fields of Logic and Computation II
پدیدآورنده : \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering,نرمافزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
76
.
9
.
L63
F54
2015
E-Book
,
12. Formal Methods for Industrial Critical Systems
پدیدآورنده : \ Manuel Núñez , Matthias Güdemann (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses,Computer programs -- Verification -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,نرمافزار -- مهندسی-- کنگره‌ها ,برنامه‌های کامپیوتری -- راستی‌آزمایی -- کنگره ها
رده :
QA
76
.
9
.
F6
2015
E-Book
,
13. Frontiers in Computer Education
پدیدآورنده : \ Editor Yuanzhi Wang
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Engineering,Artificial intelligence,مهندسی,هوش مصنوعی,a04,a05,a04,a05,Computer science -- Study and teaching -- Congresses. ,علوم کامپیوتر -- راهنمای آموزشی -- کنگره ها
رده :
QA
76
.
27
.
F7
2015
E-Book
,
14. Innovations in Computer Science and Engineering
پدیدآورنده : \ H.S. Saini, Rishi Sayal, Sandeep Singh Rawat, Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Technological innovations -- Congresses.,Engineering -- Technological innovations -- Congresses.,کامپیوتر -- نوآوری -- کنگره ها ,مهندسی -- نوآوری -- کنگره ها
رده :
QA
75
.
5
.
I5
2016
E-Book
,
15. Languages, design methods, and tools for electronic system design.
پدیدآورنده : \ Frank Oppenheimer , Julio Luis Medina Pasaje Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses.,Computer software -- Verification -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- راستی‌آزمایی -- کنگره ها
رده :
QA
76
.
9
.
L325
2016
E-Book
,
16. Modelling Foundations and Applications.
پدیدآورنده : \ Gabriele Taentzer , Francis Bordeleau (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer-aided software engineering -- Congresses.,Software engineering.,مهندسی به کمک نرم افزار کامپیوتر -- کنگره ها ,مهندسی نرم افزار
رده :
QA
76
.
758
.
M6
2015
E-Book
,
17. Proceedings of the 4th International Conference on Computer Engineering and Networks
پدیدآورنده : \ W. Eric Wong Editor
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer engineering -- Congresses.,Computer networks -- Congresses.,مهندسی کامپیوتر -- کنگره ها ,شبکه‌های کامپیوتری -- کنگره‌ها
رده :
TK
5
.
P76
2015
E-Book
,
18. Software Engineering and Formal Methods
پدیدآورنده : \ [edited by] Carlos Canal, Akram Idani.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Formal methods (Computer science) -- Congresses.,نرمافزار -- مهندسی-- کنگره‌ها,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
758
.
S62
2015
E-Book
,
19. Software Engineering and Formal Methods
پدیدآورنده : \ Domenico Bianculli , Radu Calinescu, Bernhard Rumpe (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Formal methods (Computer science) -- Congresses.,Formal methods (Computer science),نرمافزار -- مهندسی-- کنگره‌ها,روش‌های صوری (کامپیوتر) -- کنگره ها,(روش‌های صوری (کامپیوتر
رده :
QA
76
.
758
.
S62
2015
E-Book
,
20. Software, Services and Systems
پدیدآورنده : \ [edited by] Rocco De Nicola, Rolf Hennicker.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses,Systems engineering -- Congresses,Abstract data types (Computer science) -- Congresses.,نرمافزار -- مهندسی-- کنگره‌ها ,مهندسی س‍ی‍س‍ت‍م ها -- کنگره ها ,داده‌های انتزاعی (کامپیوتر) -- کنگره ها
رده :
QA
76
.
758
.
S62
2015
E-Book
,
